YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME host:www.ida.liu.se  Search for:  host:www.ida.liu.se
 
Sort by Sort by          Date Sort by       Alphabetical Sort by       Category Sort by

Showing  1 - 10  of total  11  results  [ 0.377  seconds ]  


 Yurtseven.ORG Artificial Intelligence Artificial Intelligence Publications Publications Journals Journals
  
 1 - Electronic Transactions on Artificial Intelligence Browse Website open in new window
    
  07-January-2012 
ETAI is an electronic journal which provides a process for open discussion about articles and feedback to authors before an article is accepted.


     [similar pages] 


 Yurtseven.ORG Software Software Typesetting Typesetting TeX TeX MetaPost MetaPost
  
 2 - http://www.ida.liu.se/~joned/download/mps2eps/ Browse Website open in new window
    
  07-January-2012 
Shell script that converts a given MPS to a self-contained EPS file with the necessary fonts included.


     [similar pages] 


 Yurtseven.ORG Programming Programming Languages Languages Rigal Rigal
  
 3 - http://www.ida.liu.se/~vaden/rigal/ Browse Website open in new window
    
  07-January-2012 
Official site with language description and Manual Page in HTML format as well as published papers about Rigal.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Distributed Computing Distributed Computing Conferences Conferences
  
 4 - http://www.ida.liu.se/conferences/p2p/p2p2002/ Browse Website open in new window
    
  07-January-2012 
The Second IEEE International Conference on Peer-to-Peer Computing. Linkoping, Sweden; 5--7 September 2002.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Conferences Conferences 2003 2003
  
 5 - http://www.ida.liu.se/conferences/p2p/p2p2003 Browse Website open in new window
    
  07-January-2012 
The Third IEEE International Conference on Peer-to-Peer Computing. Linköping, Sweden; 1--3 September 2003.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Academic Departments Academic Departments Europe Europe Sweden Sweden
  
 6 - Linköping University Browse Website open in new window
    
  07-January-2012 
Department of Computer and Information Science.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science People People N N
  
 7 - Nadjm-Tehrani, Simin Browse Website open in new window
    
  07-January-2012 
Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Conferences Conferences 2004 2004
  
 8 - P2P 2004 Browse Website open in new window
    
  07-January-2012 
The 4th IEEE International Conference on Peer-to-Peer Computing. Zurich, Switzerland; 25–27 August 2004.


     [similar pages] 


 Yurtseven.ORG Programming Programming Compilers Compilers Compiler Construction Kits Compiler Construction Kits
  
 9 - Relational Meta-Language (RML) Browse Website open in new window
    
  07-January-2012 
Generation of efficient compilers and interpreters from Natural Semantics Specifications. Semantics for real programming languages like Java, Pascal, Modelica were developed.


     [similar pages] 


 Yurtseven.ORG Artificial Intelligence Artificial Intelligence People People
  
 10 - Szalas, Andrzej Browse Website open in new window
    
  07-January-2012 
College of Economics and Computer Science, Olsztyn, Poland. Unmanned aerial vehicles. Autonomous systems.


     [similar pages] 

1  2  Next »


Easy Web Admin

Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us